es{-}valtype(${\it es}$; $e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if es{-}isrcv(${\it es}$; $e$) then es{-}rcvtype(${\it es}$; $e$) else es{-}acttype(${\it es}$; $e$) fi